- constraint reasoning
- 约束推理，约束推理法
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
constraint reasoning
Look at other dictionaries:
Constraint Handling Rules — (CHR) is a declarative programming language extension introduced in 1991[1][2] by Thom Frühwirth. Originally designed for developing (prototypes of) constraint programming systems, CHR is increasingly used as a high level general purpose… … Wikipedia
Constraint satisfaction — In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution to a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a vector of variables that… … Wikipedia
Natural Constraint Language — NCL (Natural Constraint Language) is a description language with mathematical logic as syntax. Il adopts Mixed Set Programming as algorithmic framework for modeling and solving problems. Introduction Combinatorial problems are ubiquitous in the… … Wikipedia
Distributed constraint optimization — (DCOP or DisCOP) is the distributed analogue to constraint optimization. A DCOP is a problem in which a group of agents must distributedly choose values for a set of variables such that the cost of a set of constraints over the variables is… … Wikipedia
Spatial-temporal reasoning — is the ability to visualize spatial patterns and mentally manipulate them over a time ordered sequence of spatial transformations. This ability is important for generating and conceptualizing solutions to multi step problems that arise in areas… … Wikipedia
Computational Sustainability — is an interdisciplinary field [1] [2] that aims to apply techniques from computer science, information science, operations research, applied mathematics, and statistics for balancing environmental, economic, and societal needs for sustainable… … Wikipedia
Consensus dynamics — or agreement dynamics is an area of research lying at the intersection of systems theory and graph theory. A major topic of investigation is the agreement or consensus problem[1] in multi agent systems that concerns processes by which a… … Wikipedia
DCR — is an acronym that may refer to: Dark Crisis, a Yu Gi Oh! Trading Card Game booster pack Design Change Request, also Document Change Request and Database Change Request Digital cable ready Department of Conservation and Recreation (Massachusetts) … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Abductive logic programming — is a high level knowledge representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal Logic Programming by allowing some predicates to be incompletely defined, declared as abducible… … Wikipedia
Inquiry — For other uses, see Public inquiry and Enquiry character. An inquiry is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment … Wikipedia
